On comprehension schemes and elementary -toposes:
On -sites:
Raffael Stenzel, Higher sites and their higher categorical logic, talk at HoTT Electronic Seminar, (18 November 2021) [video:YT, slides:pdf]
Raffael Stenzel, Notions of -sites and related formal structures [arXiv:2306.06619]
Last revised on June 13, 2023 at 14:27:18. See the history of this page for a list of all contributions to it.